package com.woniuxy.lab.woniu_lab_boss.service;

import com.baomidou.mybatisplus.core.metadata.IPage;
import com.woniuxy.lab.woniu_lab_boss.model.Exper;
import com.baomidou.mybatisplus.extension.service.IService;
import com.woniuxy.lab.woniu_lab_boss.service.dto.HealthDto;
import com.woniuxy.lab.woniu_lab_boss.service.dto.ExperDto;

import java.util.List;

/**
 * <p>
 * 实验表 服务类
 * </p>
 *
 * @author Silas
 * @since 2023-03-15
 */
public interface ExperService extends IService<Exper> {

    HealthDto getHealth();

    IPage<ExperDto> getRunning(Integer page, Integer size);
}
